letter from milan

Letter from . . .

LETTER FROM THE PRESIDENT Letter from the President

I have just come back from attending ECMI 2002 in Latvia. About 150 people took part in the conference which was held in the delightful resort town of Jurmala, about 20km south of Riga. The invited speakers covered a wide range of topics and all gave interesting talks as did the minisymposium speakers and the other contributors. The participants enjoyed the weather and surroundings in Jurmala a...

Logic in Milan

Speaker: Marco Gaboardi (Bologna) Title: Light Logics: a tool for polynomial time in functional programming Abstract: We overview the Light Logics approach to Implicit Computational Complexity presenting different proposals for the class of polynomial time functions. We focus on the use of light logics in designing type systems for the Lambda Calculus considered as a core functional programming...

Metacomputing with MILAN

The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, reliable, predictable virtual machines, that is, metacomputers, on top of environments that consist of an unreliable and dynamically changing set of machines. In addition to the techniques, the principal outcomes of the...

Letter from Romania.